Estensione normale

In matematica, e in particolare in teoria dei campi, un'estensione normale è un'estensione di campi algebrica ${\displaystyle F\subseteq E}$ tale che ogni polinomio irriducibile nell'anello dei polinomi ${\displaystyle F[x]}$ che ha una radice in ${\displaystyle E}$ si spezza completamente in ${\displaystyle E[x]}$